141. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
142. Implementations of Logic Programming Systems
پدیدآورنده : edited by Evan Tick, Giancarlo Succi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.
رده :
QA76
.
63
E358
1994
143. Implementations of logic programming systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
I48
1994
144. Inductive Logic Programming
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامه‌نویسی منطقی -- کنگره‌ها,استقرا (منطق) -- کنگره‌ها
رده :
E-Book
,
145. Inductive Logic Programming
پدیدآورنده : \ Jesse Davis, Jan Ramon (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,برنامه‌نویسی منطقی, -- Congresses, -- کنگره‌ها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
رده :
QA
76
.
63
.
I57
2015
E-Book
,
146. Inductive Logic Programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
147. Inductive logic programming
پدیدآورنده : / Luc De Raedt (Ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic programming, Congresses,Computer logic, Congresses
رده :
QA76
.
63
.
I47
2010
148. Inductive logic programming :
پدیدآورنده : Nada Lavrač and Sašo Džeroski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming
رده :
QA76
.
63
.
L38
1994
149. Inductive logic programming
پدیدآورنده : Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Logic programming,Machine learning
رده :
QA76
.
63
I52
2012eb
150. Inductive logic programming
پدیدآورنده : Fabrizio Riguzzi, Filip Železný (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Induction (Logic), Congresses,Logic programming, Congresses,Machine learning, Congresses
رده :
QA76
.
63
.
I47
2012
151. Inductive logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
152. Inductive logic programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
153. Inductive logic programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
154. Inductive logic programming :
پدیدآورنده : Francesco Bergadano and Daniele Gunetti
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming
رده :
QA76
.
63
.
B47
1996
155. Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005; proceedings
پدیدآورنده : Stefan Kramer, Bernhard Pfahringer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic hypothesis formation,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3625
156. Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
پدیدآورنده : James Cussens, Alan Frisch )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1866
157. Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
پدیدآورنده : David Page, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1446
158. Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
پدیدآورنده : Rui Camacho, Ross King, Ashwin Srinivasan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3194
159. Inductive logic programming :11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
پدیدآورنده : Celine Rouveirol, Michele Sebag )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2157
160. Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings
پدیدآورنده : Saso Dzeroski, Peter Flach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Induction )Logic(
رده :
QA
76
.
L28
Vol
.
1634
